goto error;
if ( cp != 0 ) {
vmx_world_save(v, &c);
- if ( hvm_copy_to_guest_phys(cp, &c, sizeof(c)))
+ if ( hvm_copy_to_guest_phys(cp, &c, sizeof(c)) )
goto error;
}
/* ET is reserved and should be always be 1. */
value |= X86_CR0_ET;
- if ( (value & (X86_CR0_PE|X86_CR0_PG)) == X86_CR0_PG )
+ if ( (value & (X86_CR0_PE | X86_CR0_PG)) == X86_CR0_PG )
{
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
return 0;
HVM_DBG_LOG(DBG_LEVEL_1, "Guest enabled paging "
"with EFER.LME set but not CR4.PAE");
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
+ return 0;
}
- else
- {
- HVM_DBG_LOG(DBG_LEVEL_1, "Enabling long mode");
- vmx_enable_long_mode(v);
- }
+
+ HVM_DBG_LOG(DBG_LEVEL_1, "Enabling long mode");
+ vmx_enable_long_mode(v);
}
/*
*/
if ( (value & X86_CR0_PE) == 0 )
{
- if ( value & X86_CR0_PG ) {
- /* inject GP here */
+ if ( value & X86_CR0_PG )
+ {
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
return 0;
}
/*
* If paging is not enabled yet, simply copy the value to CR3.
*/
- if ( !vmx_paging_enabled(v) ) {
+ if ( !vmx_paging_enabled(v) )
+ {
v->arch.hvm_vmx.cpu_cr3 = value;
break;
}
"Guest attempts to set reserved bit in CR4: %lx",
value);
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
- break;
+ return 0;
}
if ( (value & X86_CR4_PAE) && !(old_cr & X86_CR4_PAE) )
/*
* Now arch.guest_table points to machine physical.
*/
-
old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
v->arch.guest_table = pagetable_from_pfn(mfn);
if ( old_base_mfn )
HVM_DBG_LOG(DBG_LEVEL_1, "Guest cleared CR4.PAE while "
"EFER.LMA is set");
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
+ return 0;
}
}